A Method for Automated Program Code Testing
نویسندگان
چکیده
منابع مشابه
A method for automated program code testing
The Internet has recently encouraged the society to convert almost all its needs to electronic resources such as e-libraries, e-cultures, e-entertainment as well as e-learning, which has become a radical idea to increase the effectiveness of learning services in most schools, colleges and universities. E-learning can not be completely featured and met without e-testing. However, in many cases e...
متن کاملTowards Automated Code Parallelization through Program Comprehension
Currently available parallelizing tools are biased in favor of a particular parallel execution model for generating the output parallel program. This obviously limits the generality of these tools, since programs may be parallelized according to diierent programming paradigms. In this paper we propose a novel approach to automated code parallelization that tries to overcome these limitations. T...
متن کاملGenerating input data structures for automated program testing
Automatic test data generation usually concerns identifying input values that cause a selected path to execute. If a given path involves pointers, then input values may be represented in terms of 2-dimensional dynamic data structures such as lists or trees. When testing is conducted for programs in the presence of pointers, it is very important to identify a shape of the input data structure de...
متن کاملA Method for The Formal Testing of Program Visualization Tools
Many modern tools support program understanding through the visualization of program structure. Such tools are typically based on a formal theory describing the structure of programs to be visualized, such as first order logic [10, 13], temporal logic [6, 12], entityrelationship models [1, 14] and graph grammars [9, 4]. Two questions arise with such approaches: (a) does the tool correctly abide...
متن کاملDeveloping a Device for Automated Peritoneal Dialysis
Background: Peritoneal dialysis (PD) is an efficient alternative for hemodialysis. Removal of waste metabolites and excess water from the blood circulation are the two main tasks done during dialysis. These are done by using a filter; in PD, the naturally semi-permeable peritoneal membrane acts as the filter. Automated PD machines control intelligently the operations to enhance the efficiency a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informatics in Education
سال: 2010
ISSN: 1648-5831,2335-8971
DOI: 10.15388/infedu.2010.13